36 

    36 

    37 structure Nominal_Function : NOMINAL_FUNCTION =

    37 structure Nominal_Function : NOMINAL_FUNCTION =

    38 struct

    38 struct

    39 

    39 

    40 open Function_Lib

    40 open Function_Lib

    41 open Nominal_Function_Common

    42 open Nominal_Function_Common

    42 

    43 

    43 

    44 

    44 (* Check for all sorts of errors in the input - nominal needs a different checking function *)

    45 (* Check for all sorts of errors in the input - nominal needs a different checking function *)

    45 fun nominal_check_defs ctxt fixes eqs =

    46 fun nominal_check_defs ctxt fixes eqs =