MaybeInfo constructor

MaybeInfo({ required DatatypeSort sort, required ConstVar nothing, required FuncDecl isNothing, required FuncDecl just, required FuncDecl isJust, required FuncDecl value, })

Implementation

MaybeInfo({
  required this.sort,
  required this.nothing,
  required this.isNothing,
  required this.just,
  required this.isJust,
  required this.value,
});